python explicit type declaration